Extensionality of the RCC8 Composition Table
نویسندگان
چکیده
This paper is mainly concerned with the RCC8 composition table entailed by the Region Connection Calculus (RCC), a well-known formalism for Qualitative Spatial Reasoning. This table has been independently generated by Egenhofer in the context of Geographic Information Systems. It has been known for some time that the table is not extensional for each RCC model. This paper however shows that the Egenhofer model is indeed an extensional one for the RCC8 composition table. Moreover this model is the maximal extensional one for the RCC8 composition table in a sense.
منابع مشابه
Deriving Extensional Spatial Composition Tables
Spatial composition tables are fundamental tools for the realisation of qualitative spatial reasoning techniques. Studying the properties of these tables in relation to the spatial calculi they are based on is essential for understanding the applicability of these calculi and how they can be extended and generalised. An extensional interpretation of a spatial composition table is an important p...
متن کاملRCC8 binary constraint network can be consistently extended
The RCC8 constraint language developed by Randell et al. has been popularly adopted by the Qualitative Spatial Reasoning and GIS communities. The recent observation that RCC8 composition table describes only weak composition instead of composition raises questions about Renz and Nebel’s maximality results about the computational complexity of reasoning with RCC8. This paper shows that any consi...
متن کاملRegion Connection Calculus: Its models and composition table
Originating in Allen’s analysis of temporal relations, the notion of composition table has become a key technique in providing an efficient inference mechanism for a wide class of theories in the field artificial intelligence. This paper is mainly about the consistency-based composition table (RCC8 CT) of the Region Connection Calculus (RCC) raised by Randell, Cui and Cohn. First we show each R...
متن کاملQualitative Spatial Reasoning in RCC8 with OWL and SWRL
The Region Connection Calculus (RCC), and particularly its RCC8 subset, have been extensively studied and used for qualitative spatial reasoning. Some sets of computational operations have also been defined for topological relations, as the CM8 set, that allows to compute the RCC8 relationships on raster images. In this paper, we propose a reified representation of the RCC8 spatial relationship...
متن کاملCombining Ontological and Qualitative Spatial Reasoning : Application to Urban Images Interpretation
In this paper, we develop a qualitative spatial reasoning (QSR) applied to the interpretation of urban satellite images. This reasoning is integrated within an ontology of urban objects, which has been implemented in cooperation with expert geographers. The spatial concepts mainly include the set of topological relations of the Region Connection Calculus theory (RCC8), and the set of computatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Fundam. Inform.
دوره 55 شماره
صفحات -
تاریخ انتشار 2003